State-dependent representation independence
نویسندگان
چکیده
منابع مشابه
State-Dependent Representation Independence (Technical Appendix)
3 Logical Relation Proofs 15 3.1 Basic Properties . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.1.1 Properties of Step-Indexed Construction . . . . . . . . . . . . . . . . . . . . . . . . . . 15 3.1.2 Approximation Yields Valid Semantic Objects . . . . . . . . . . . . . . . . . . . . . . 17 3.1.3 World Extension and Store Satisfaction Properties . . ...
متن کاملRepresentation Independence, State Based Ownership, and Reentrancy
A properly encapsulated data representation can be revised for refactoring or other purposes without affecting the correctness of client programs and extensions of a class. But encapsulation is difficult to achieve in object-oriented programs owing to heap based structures and reentrant callbacks. This paper shows that it is achieved by a discipline using assertions and auxiliary fields to mana...
متن کاملGraphical representation of independence structures
In this thesis we describe subclasses of a class of graphs with three types of edges, called loopless mixed graphs (LMGs). The class of LMGs contains almost all known classes of graphs used in the literature of graphical Markov models. We focus in particular on the subclass of ribbonless graphs (RGs), which as special cases include undirected graphs, bidirected graphs, and directed acyclic grap...
متن کاملState-dependent value representation: evidence from the striatum
1 Laboratory for Social and Neural Systems Research, Department of Economics, University of Zurich, Zurich, Switzerland 2 Neuroeconomics Laboratory: Reward and Decision-Making, CNRS, UMR 5229, Université de Lyon, Université Claude Bernard Lyon 1, Lyon, France 3 Center for Information and Neural Networks, National Institute for Information and Communications Technology, Osaka, Japan 4 Computatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2009
ISSN: 0362-1340,1558-1160
DOI: 10.1145/1594834.1480925